منابع مشابه
An Extended Semantic Foundation For Object-Z
The industrial potential of object-oriented formal methods is enormous. The potential of these methods has largely gone unrealised however, due to weaknesses in the underlying semantic foundations. This paper addresses that problem. We identify the \hard" problems in the area as: (i) the need to model object identity; (ii) the relationship between structure and behaviour; and, (iii) the (someti...
متن کاملCovariant Foundation Theory
A foundation theory of quantum mechanics is proposed in another paper that governs state reduction in general, and particle localization in particular. The theory is based on a set of four rules called the nRules. In the present paper the nRules and the nRule equations are shown to be Lorentz invariant. The details of a non-local, space-like collapse of a relativistic wave function depend on th...
متن کاملQuantum qRules: Foundation Theory
Three qRules governing wave collapse are given in this paper that provide a foundation theory of quantum mechanics. They are empirical regularities that are known to be valid in macroscopic situations. When projected theoretically into the microscopic domain they predict a novel ontology, including the frequent collapse of atomic wave functions. Future experiments can potentially discriminate b...
متن کاملPhase Quantification and Frame Theory
In my contribution I will provide an outline of how two major strands in Löbner’s work can be combined in a dynamic game theoretical semantics: phase quantification (PQ) and frame theory (FT). In a first step a formal analysis of PQ in (dynamic) arrow logic is presented. Based on this analysis it is shown in the second step that frame theory must not be understood as being an alternative to sta...
متن کاملPhase quantiVcation and frame Theory
In my contribution I will provide an outline of how two major strands in Löbner’s work can be combined in a dynamic game-theoretical semantics: phase quantiVcation (PQ) and frame theory (FT). In a Vrst step a formal analysis of PQ in (dynamic) arrow logic is presented. Based on this analysis it is shown in the second step that frame theory must not be understood as being an alternative to stand...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Education and Vocational Research
سال: 2014
ISSN: 2221-1152
DOI: 10.22610/jevr.v5i4.168